Rate-Based Transition Systems for Stochastic Process Calculi

A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition relation used in our variant associates to each process, for each action, the set of possible futures paired with a measure indicating their rates. We show how RTS can be used for providing the operational semantics of stochastic extensions of classical formalisms, namely CSP and CCS. We also show that our semantics for stochastic CCS guarantees associativity of parallel composition. Similarly, in contrast with the original definition by Priami, we argue that a semantics for stochastic π-calculus can be provided that guarantees associativity of parallel composition

Safety and efficacy of eculizumab for the prevention of antibody-mediated rejection after deceased-donor kidney transplantation in patients with preformed donor-specific antibodies

Abstract View references (47) The presence of preformed donor-specific antibodies in transplant recipients increases the risk of acute antibody-mediated rejection (AMR). Results of an open-label single-arm trial to evaluate the safety and efficacy of eculizumab in preventing acute AMR in recipients of deceased-donor kidney transplants with preformed donor-specific antibodies are reported. Participants received eculizumab as follows: 1200 mg immediately before reperfusion; 900 mg on posttransplant days 1, 7, 14, 21, and 28; and 1200 mg at weeks 5, 7, and 9. All patients received thymoglobulin induction therapy and standard maintenance immunosuppression including steroids. The primary end point was treatment failure rate, a composite of biopsy-proved grade II/III AMR (Banff 2007 criteria), graft loss, death, or loss to follow-up, within 9 weeks posttransplant. Eighty patients received transplants (48 women); the median age was 52 years (range 24-70 years). Observed treatment failure rate (8.8%) was significantly lower than expected for standard care (40%; P <.001). By 9 weeks, 3 of 80 patients had experienced AMR, and 4 of 80 had experienced graft loss. At 36 months, graft and patient survival rates were 83.4% and 91.5%, respectively. Eculizumab was well tolerated and no new safety concerns were identified. Eculizumab has the potential to provide prophylaxis against injury caused by acute AMR in such patients (EudraCT 2010-019631-35). \ua9 2019 The Authors. American Journal of Transplantation published by Wiley Periodicals, Inc. on behalf of The American Society of Transplantation and the American Society of Transplant Surgeon

Safety and efficacy of eculizumab in the prevention of antibody-mediated rejection in living-donor kidney transplant recipients requiring desensitization therapy: A randomized trial

We report results of a phase 2, randomized, multicenter, open‐label, two‐arm study evaluating the safety and efficacy of eculizumab in preventing acute antibody‐ mediated rejection (AMR) in sensitized recipients of living‐donor kidney transplants requiring pretransplant desensitization (NCT01399593). In total, 102 patients under‐ went desensitization. Posttransplant, 51 patients received standard of care (SOC) and 51 received eculizumab. The primary end point was week 9 posttransplant treat‐ ment failure rate, a composite of: biopsy‐proven acute AMR (Banff 2007 grade II or III; assessed by blinded central pathology); graft loss; death; or loss to follow‐up. Eculizumab was well tolerated with no new safety concerns. No significant difference in treatment failure rate was observed between eculizumab (9.8%) and SOC (13.7%; P = .760). To determine whether data assessment assumptions affected study out‐ come, biopsies were reanalyzed by central pathologists using clinical information. The resulting treatment failure rates were 11.8% and 21.6% for the eculizumab and SOC groups, respectively (nominal P = .288). When reassessment included grade I AMR, the treatment failure rates were 11.8% (eculizumab) and 29.4% (SOC; nominal P = .048). This finding suggests a potential benefit for eculizumab compared with SOC in preventing acute AMR in recipients sensitized to their living‐donor kidney transplants (EudraCT 2010‐019630‐28)

The banff 2019 kidney meeting report (I): updates on and clarification of criteria for T cell- and antibody-mediated rejection.

The XV. Banff conference for allograft pathology was held in conjunction with the annual meeting of the American Society for Histocompatibility and Immunogenetics in Pittsburgh, PA (USA) and focused on refining recent updates to the classification, advances from the Banff working groups, and standardization of molecular diagnostics. This report on kidney transplant pathology details clarifications and refinements to the criteria for chronic active (CA) T cell-mediated rejection (TCMR), borderline, and antibody-mediated rejection (ABMR). The main focus of kidney sessions was on how to address biopsies meeting criteria for CA TCMR plus borderline or acute TCMR. Recent studies on the clinical impact of borderline infiltrates were also presented to clarify whether the threshold for interstitial inflammation in diagnosis of borderline should be i0 or i1. Sessions on ABMR focused on biopsies showing microvascular inflammation in the absence of C4d staining or detectable donor-specific antibodies; the potential value of molecular diagnostics in such cases and recommendations for use of the latter in the setting of solid organ transplantation are presented in the accompanying meeting report. Finally, several speakers discussed the capabilities of artificial intelligence and the potential for use of machine learning algorithms in diagnosis and personalized therapeutics in solid organ transplantation

The Banff 2019 Kidney Meeting Report (I): Updates on and clarification of criteria for T cell– and antibody-mediated rejection

The XV. Banff conference for allograft pathology was held in conjunction with the annual meeting of the American Society for Histocompatibility and Immunogenetics in Pittsburgh, PA (USA) and focused on refining recent updates to the classification, advances from the Banff working groups, and standardization of molecular diagnostics. This report on kidney transplant pathology details clarifications and refinements to the criteria for chronic active (CA) T cell–mediated rejection (TCMR), borderline, and antibody-mediated rejection (ABMR). The main focus of kidney sessions was on how to address biopsies meeting criteria for CA TCMR plus borderline or acute TCMR. Recent studies on the clinical impact of borderline infiltrates were also presented to clarify whether the threshold for interstitial inflammation in diagnosis of borderline should be i0 or i1. Sessions on ABMR focused on biopsies showing microvascular inflammation in the absence of C4d staining or detectable donor-specific antibodies; the potential value of molecular diagnostics in such cases and recommendations for use of the latter in the setting of solid organ transplantation are presented in the accompanying meeting report. Finally, several speakers discussed the capabilities of artificial intelligence and the potential for use of machine learning algorithms in diagnosis and personalized therapeutics in solid organ transplantation

Characteristics of the nuclear (18S, 5.8S, 28S and 5S) and mitochondrial (12S and 16S) rRNA genes of Apis mellifera (Insecta: Hymenoptera): structure, organization, and retrotransposable elements

As an accompanying manuscript to the release of the honey bee genome, we report the entire sequence of the nuclear (18S, 5.8S, 28S and 5S) and mitochondrial (12S and 16S) ribosomal RNA (rRNA)-encoding gene sequences (rDNA) and related internally and externally transcribed spacer regions of Apis mellifera (Insecta: Hymenoptera: Apocrita). Additionally, we predict secondary structures for the mature rRNA molecules based on comparative sequence analyses with other arthropod taxa and reference to recently published crystal structures of the ribosome. In general, the structures of honey bee rRNAs are in agreement with previously predicted rRNA models from other arthropods in core regions of the rRNA, with little additional expansion in non-conserved regions. Our multiple sequence alignments are made available on several public databases and provide a preliminary establishment of a global structural model of all rRNAs from the insects. Additionally, we provide conserved stretches of sequences flanking the rDNA cistrons that comprise the externally transcribed spacer regions (ETS) and part of the intergenic spacer region (IGS), including several repetitive motifs. Finally, we report the occurrence of retrotransposition in the nuclear large subunit rDNA, as R2 elements are present in the usual insertion points found in other arthropods. Interestingly, functional R1 elements usually present in the genomes of insects were not detected in the honey bee rRNA genes. The reverse transcriptase products of the R2 elements are deduced from their putative open reading frames and structurally aligned with those from another hymenopteran insect, the jewel wasp Nasonia (Pteromalidae). Stretches of conserved amino acids shared between Apis and Nasonia are illustrated and serve as potential sites for primer design, as target amplicons within these R2 elements may serve as novel phylogenetic markers for Hymenoptera. Given the impending completion of the sequencing of the Nasonia genome, we expect our report eventually to shed light on the evolution of the hymenopteran genome within higher insects, particularly regarding the relative maintenance of conserved rDNA genes, related variable spacer regions and retrotransposable elements

Diretriz da Sociedade Brasileira de Cardiologia sobre Diagnóstico e Tratamento de Pacientes com Cardiomiopatia da Doença de Chagas

This guideline aimed to update the concepts and formulate the standards of conduct and scientific evidence that support them, regarding the diagnosis and treatment of the Cardiomyopathy of Chagas disease, with special emphasis on the rationality base that supported it.&nbsp; Chagas disease in the 21st century maintains an epidemiological pattern of endemicity in 21 Latin American countries. Researchers and managers from endemic and non-endemic countries point to the need to adopt comprehensive public health policies to effectively control the interhuman transmission of T. cruzi infection, and to obtain an optimized level of care for already infected individuals, focusing on diagnostic and therapeutic opportunistic opportunities. &nbsp; Pathogenic and pathophysiological mechanisms of the Cardiomyopathy of Chagas disease were revisited after in-depth updating and the notion that necrosis and fibrosis are stimulated by tissue parasitic persistence and adverse immune reaction, as fundamental mechanisms, assisted by autonomic and microvascular disorders, was well established. Some of them have recently formed potential targets of therapies.&nbsp; The natural history of the acute and chronic phases was reviewed, with enhancement for oral transmission, indeterminate form and chronic syndromes. Recent meta-analyses of observational studies have estimated the risk of evolution from acute and indeterminate forms and mortality after chronic cardiomyopathy. Therapeutic approaches applicable to individuals with Indeterminate form of Chagas disease were specifically addressed. All methods to detect structural and/or functional alterations with various cardiac imaging techniques were also reviewed, with recommendations for use in various clinical scenarios. Mortality risk stratification based on the Rassi score, with recent studies of its application, was complemented by methods that detect myocardial fibrosis.&nbsp; The current methodology for etiological diagnosis and the consequent implications of trypanonomic treatment deserved a comprehensive and in-depth approach. Also the treatment of patients at risk or with heart failure, arrhythmias and thromboembolic events, based on pharmacological and complementary resources, received special attention. Additional chapters supported the conducts applicable to several special contexts, including t. cruzi/HIV co-infection, risk during surgeries, in pregnant women, in the reactivation of infection after heart transplantation, and others.&nbsp; &nbsp;&nbsp; Finally, two chapters of great social significance, addressing the structuring of specialized services to care for individuals with the Cardiomyopathy of Chagas disease, and reviewing the concepts of severe heart disease and its medical-labor implications completed this guideline.Esta diretriz teve como objetivo principal atualizar os conceitos e formular as normas de conduta e evidências científicas que as suportam, quanto ao diagnóstico e tratamento da CDC, com especial ênfase na base de racionalidade que a embasou. A DC no século XXI mantém padrão epidemiológico de endemicidade em 21 países da América Latina. Investigadores e gestores de países endêmicos e não endêmicos indigitam a necessidade de se adotarem políticas abrangentes, de saúde pública, para controle eficaz da transmissão inter-humanos da infecção pelo T. cruzi, e obter-se nível otimizado de atendimento aos indivíduos já infectados, com foco em oportunização diagnóstica e terapêutica. Mecanismos patogênicos e fisiopatológicos da CDC foram revisitados após atualização aprofundada e ficou bem consolidada a noção de que necrose e fibrose sejam estimuladas pela persistência parasitária tissular e reação imune adversa, como mecanismos fundamentais, coadjuvados por distúrbios autonômicos e microvasculares. Alguns deles recentemente constituíram alvos potenciais de terapêuticas. A história natural das fases aguda e crônica foi revista, com realce para a transmissão oral, a forma indeterminada e as síndromes crônicas. Metanálises recentes de estudos observacionais estimaram o risco de evolução a partir das formas aguda e indeterminada e de mortalidade após instalação da cardiomiopatia crônica. Condutas terapêuticas aplicáveis aos indivíduos com a FIDC foram abordadas especificamente. Todos os métodos para detectar alterações estruturais e/ou funcionais com variadas técnicas de imageamento cardíaco também foram revisados, com recomendações de uso nos vários cenários clínicos. Estratificação de risco de mortalidade fundamentada no escore de Rassi, com estudos recentes de sua aplicação, foi complementada por métodos que detectam fibrose miocárdica. A metodologia atual para diagnóstico etiológico e as consequentes implicações do tratamento tripanossomicida mereceram enfoque abrangente e aprofundado. Também o tratamento de pacientes em risco ou com insuficiência cardíaca, arritmias e eventos tromboembólicos, baseado em recursos farmacológicos e complementares, recebeu especial atenção. Capítulos suplementares subsidiaram as condutas aplicáveis a diversos contextos especiais, entre eles o da co-infecção por T. cruzi/HIV, risco durante cirurgias, em grávidas, na reativação da infecção após transplante cardíacos, e outros.&nbsp;&nbsp;&nbsp; Por fim, dois capítulos de grande significado social, abordando a estruturação de serviços especializados para atendimento aos indivíduos com a CDC, e revisando os conceitos de cardiopatia grave e suas implicações médico-trabalhistas completaram esta diretriz.&nbsp